Brouwer's Incomplete Objects
نویسندگان
چکیده
منابع مشابه
A Subtyping for Extensible, Incomplete Objects
We extend the type system for the Lambda Calculus of Objects 16] with a mechanism of width subtyping and a treatment of incomplete objects. The main novelties over previous work are the use of subtype-bounded quantiication to capture a new and more direct rendering of MyType polymorphism, and a uniform treatment for other features that were accounted for via diierent systems in subsequent exten...
متن کاملA Lambda Calculus of Incomplete Objects
This paper extends the Lambda Calculus of Objects as proposed in [5] with a new support for incomplete objects. Incomplete objects behave operationally as “standard” objects; their typing, instead, is different, as they may be typed even though they contain references to methods that are yet to be added. As a byproduct, incomplete objects may be typed independently of the order of their methods...
متن کاملHow to Handle Incomplete Knowledge Concerning Moving Objects
In this paper, we present a way of how to handle incomplete knowledge concerning moving objects. Our approach is based on the basic Qualitative Trajectory Calculus (QTCB), which is a calculus for handling interactions between moving point objects (MPO’s). Without elaborating on the domain of linguistics, we show that QTC B B is well-fitted to represent spatiotemporal natural language. Illustrat...
متن کاملIncomplete 3D Representation of Video Objects for Multiview Applications
This paper introduces a new form of representation for three-dimensional video objects. We propose to provide the capability to encode depth data for video object planes, as they are used in the MPEG-4 video standard. We introduce a technique to extract depth and texture data from video objects, that are captured with multiple-camera configurations. The video object plane then represents an unw...
متن کاملA Core Calculus of Mixin-Based Incomplete Objects
We design a calculus that combines class-based features with object-based ones, with the aim of fitting into a unifying setting the “best of both worlds”. In a mixin-based approach, mixins are seen as incomplete classes from which incomplete objects can be instantiated. In turn, incomplete objects can be completed in an object-based fashion. Our hybrid calculus is shown to be useful in some rea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: History and Philosophy of Logic
سال: 2010
ISSN: 0144-5340,1464-5149
DOI: 10.1080/01445340903445071